Procedural control - PDFSEARCH.IO - Document Search Engine

Procedural control
Results: 486

#	Item
161	Sequential decision problems, dependently typed solutions Nicola Botta1 , Cezar Ionescu1 , and Edwin Brady2 1 Potsdam Institute for Climate Impact Research, Telegrafenberg A31, 14473 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-06-25 15:30:23 Systems theory Software engineering Dynamic programming Control theory Procedural programming languages Bellman equation Function ALGOL 68 Monad Mathematical optimization Mathematics Equations
162	Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-03-29 05:54:16 Functional programming Control flow Procedural programming languages Subroutines Recursion Monad Eval Type system List comprehension Computing Software engineering Computer programming
163	Corporate Specification C-H[removed]REGISTRY: Graphic Character Sets and Code Pages Add to Reading List Source URL: ftp.software.ibm.com Language: English - Date: 2005-12-09 11:12:52 Computer programming Character encoding Code page C EBCDIC code pages Fortran C0 and C1 control codes Computing Procedural programming languages Software engineering
164	OpenAD/F: User Manual J. Utke U. Naumann A. Lyons draft vers. hg:65776b2019f3+:118+ compiled on March 15, 2014 with Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2014-03-15 02:34:40 Procedural programming languages Differential calculus Automatic differentiation Computer algebra Fortran Subroutine Make Control flow Application programming interface Computing Computer programming Software engineering
165	Eli's Default Template Add to Reading List Source URL: www.census.gov Language: English - Date: 2003-03-12 10:16:32 Procedural programming languages Software development process C Cross-platform software Revision control Flag Computer programming Computing Software engineering
166	NRL Release Number[removed]Naval Research Laboratory Washington, DC[removed]NRL/MR[removed] Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-25 12:53:22 Data types Hardware description languages Cross-platform software Procedural programming languages Variables Control theory Environment variable Verilog C Computing Software engineering Software
167	[removed]LOCKOUT/ TAGOUT—PROCEDURAL GUIDELINES 1. PURPOSE This procedural guideline provides energy control procedures to establish and maintain safe working conditions related to start up, servicing and maintenance of Add to Reading List Source URL: www.coconino.edu Language: English - Date: 2014-08-06 16:20:44 Physics Force Occupational safety and health Electrical engineering Lockout-tagout
168	Contents at a Glance Introduction ................................................................ 1 AL Part I: Revving Up ....................................................... 7 Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-30 13:15:08 Cross-platform software Java platform Java programming language Computing platforms Procedural programming languages Java Control flow D C Computing Software engineering Computer programming
169	Specifying Software Behavior for Requirements and Design James KIRBY JR. Code 5542, Naval Research Laboratory 4555 Overlook Ave. SW, Washington, DC 20375, U.S. Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-11-08 11:09:14 Procedural programming languages Data types Type theory Variables Control theory Subroutine Software design C ALGOL 68 Computing Software engineering Computer programming
170	Perl Best Practices Reference Guide[removed]. Add to Reading List Source URL: www.squirrel.nl Language: English - Date: 2007-12-20 10:33:28 Perl Source code Cross-platform software Procedural programming languages Subroutine University of Cambridge Computer Laboratory Control flow XS Parameter Software engineering Computing Computer programming